// --------------------------------------------------------------------------------------------------------------------

// <copyright file="AssertionMethodAttribute.cs" company="Social Development Spb">

//   Copyright (c) Social Development Spb 2009

// </copyright>

// <summary>

//   Indicates that the marked method is assertion method, i.e. it halts control flow if one of the conditions is satisfied.

//   To set the condition, mark one of the parameters with <see cref="AssertionConditionAttribute" /> attribute.

// </summary>

// --------------------------------------------------------------------------------------------------------------------


using System;

namespace Diagnostics.Annotations
{
    #region Imported Namespaces

    

    #endregion


    /// <summary>
    /// Indicates that the marked method is assertion method, i.e. it halts control flow if one of the conditions is satisfied. 
    /// To set the condition, mark one of the parameters with <see cref="AssertionConditionAttribute"/> attribute.
    /// </summary>
    /// <seealso cref="AssertionConditionAttribute"/>
    [AttributeUsage(AttributeTargets.Method, AllowMultiple = false, Inherited = true)]
    public sealed class AssertionMethodAttribute : Attribute
    {
    }
}